621. The world as a mathematical game
پدیدآورنده : / Giorgio Israel, Ana Millan Gasca
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Von Neumann, John, 1903-1957,Mathematicians, United States, Biography,Mathematics, Philosophy, History, 20th century,Science, Philosophy, History, 20th century,Von Neumann, John, Biographie,Von Neumann, John, Biographie., swd
رده :
E-BOOK
622. Theories of mathematics education
پدیدآورنده : / Bharath Sriraman, Lyn English, editors
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics, Study and teaching,Mathematics, Philosophy
رده :
QA11
.
2
.
T48
2010
623. Theories of mathematics education: seeking new frontiers
پدیدآورنده : Bharath Sriraman, Lyn English, editors
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Mathematics - Study and teaching,، Mathematics - Philosophy
رده :
QA
11
.
2
.
T45
2010
624. There's something about Godel : the complete guide to the incompleteness theorem
پدیدآورنده : Berto, Francesco
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Incompleteness theorems,، Godel's theorem,، Mathematics -- Philosophy,، Godel, Kurt Friedrich, 6091-8791
رده :
QA
9
.
54
.
B47T813
625. Thinking about mathematics :the philosophy of mathematics
پدیدآورنده : Shapiro, Stewart
کتابخانه: Library of Mofid University (Qom)
موضوع : Philosophy ، Mathematics
رده :
QA8
.
4
.
S532
2000
626. Thinking about mathematics : the philosophy of mathematics
پدیدآورنده : Shapiro, Stewart, 1591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematics -- Philosophy
رده :
QA
8
.
4
.
S52T47
627. Thinking in problem
پدیدآورنده : / [electronic resource]
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics, Philosophy,Mathematical analysis,Reasoning,Logic,Electronic books
رده :
E-BOOK
628. Thirty years of foundational studies; lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964
پدیدآورنده : Mostowski, Andrzej
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy
رده :
B
28
.
F5
.
A3
Fasc
.
17
629. Tool and object
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Categories (Mathematics) ; History. ; Categories (Mathematics) ; Philosophy. ;
630. Tool and object : a history and philosophy of category theory
پدیدآورنده : Kromer, Ralf
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : History ، Categories )Mathematics(,Philosophy ، Categories )Mathematics(
رده :
QA
169
.
K76T6
631. Tool and object: a history and philosophy of category theory
پدیدآورنده : Kromer, Ralf
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Categories )Mathematics(-- History,، Categories )Mathematics(-- Philosophy
رده :
QA
169
.
K76
2007
632. Towards Mathematical Philosophy
پدیدآورنده : \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگرهها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
633. Towards mathematical philosophy
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical ; Congresses. ; Mathematics ; Philosophy ; Congresses. ;
634. Towards mathematical philosophy : papers from the studia logica conference Trends in logic IV
پدیدآورنده : edited by David Makinson, Jacek Malinowski, Heinrich Wansing
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1S78
2006
635. Towards mathematical philosophy: papers from the studia logica conference trends in logic IV
پدیدآورنده : Makinson, David.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
A1
.
M235
2009
636. Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
S88
2008
637. Transformation and tradition in the sciences: essays in honor of I. Bernard Cohen
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Cohen, I. Bernard, 4191-,History ، Science,Philosophy ، Science,History ، Mathematics,Philosophy ، Mathematics,History ، Science-- United States
رده :
Q
126
.
8
.
T73
1984
638. Translations from the philosophical writings of Gottlob Frege
پدیدآورنده : Frege, Gottlob, 8481-5291
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Mathematics -- Philosophy
رده :
BC
135
.
F73T7
1980
639. Triangle of thoughts
پدیدآورنده : Connes, Alain
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Philosophy ، Science,، Mathematics,، Physics
رده :
Q
175
.
3
.
C66313
2001
640. Truth in mathematics
پدیدآورنده : edited by H. G. Dales and G. Oliveri
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematics -- Philosophy,، Truth
رده :
QA
8
.
4
.
T78